arm/traps: fix bug in dump_guest_s1_walk handling of level 2 page tables
authorJonathan Daugherty <jtd@galois.com>
Wed, 20 Jul 2016 16:10:17 +0000 (09:10 -0700)
committerStefano Stabellini <sstabellini@kernel.org>
Wed, 20 Jul 2016 17:32:55 +0000 (10:32 -0700)
commita43cc8fc0827a4110b884b0fd94bf98628f27ab7
tree197ea2361aa273aef30da6eae04f035c4fc699ef
parent60e06f2b1b2b818a6e13c719d2df17e434433e6e
arm/traps: fix bug in dump_guest_s1_walk handling of level 2 page tables

dump_guest_s1_walk intends to walk to level 2 page table entries but
was failing to do so because of a check that caused level 2 page table
descriptors to be ignored. This change fixes the check so that level 2
page table walks occur as intended by ignoring descriptors unless their
low two bits match the expected sequence [0,1].

For more information, see the ARMv7-A ARM DDI 0406C.b, section B3.5.1.

Signed-off-by: Jonathan Daugherty <jtd@galois.com>
Reviewed-by: Julien Grall <julien.grall@arm.com>
Acked-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/traps.c